Action semantics - PDFSEARCH.IO - Document Search Engine

Action semantics
Results: 53

#	Item
31	13 2 Context in which I describe the background experience I bring to Add to Reading List Source URL: www.aral.com.au Language: English - Date: 2012-04-22 02:10:25 General semantics Human communication Chris Argyris Social psychology Action research Alfred Korzybski Causality Abstraction Psychology Science Behavior Ethology
32	Lesson in Action AT A GLANCE Before Reading • Add to Reading List Source URL: powerupwhatworks.org Language: English - Date: 2013-10-15 10:05:27 Literacy Semantic mapping Science Vocabulary Semantic Web Semantics Recall Face Linguistics Mind Learning to read
33	Conclusions in which I summarise the features which contribute Add to Reading List Source URL: www.aral.com.au Language: English - Date: 2012-04-22 02:10:36 Research Explication Literary criticism Semantics Semiotics Thesis Action research Facilitation Knowledge Education Science
34	Operational Semantics of UML Activity Diagram: An Application in Project Management Eugene Syriani Department of Computer Science Add to Reading List Source URL: hergin.students.cs.ua.edu Language: English - Date: 2012-07-26 13:45:07 Software engineering Data modeling Software development Systems Modeling Language ISO standards Petri net Finite-state machine Action Activity diagram Unified Modeling Language Diagrams Models of computation
35	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory
36	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2002-09-26 13:10:47 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
37	Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-06-27 10:05:13 Modal logic Non-classical logic Common knowledge Multi-agent system Model checking Temporal logic Proposition Kripke semantics Logic Mathematical logic Philosophical logic
38	Reasoning about Joint Action and Coalitional Ability in Kn with Intersection 1 ˚ Thomas Agotnes and Natasha Alechina2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:39:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Function Constructible universe Linear temporal logic Μ operator Mathematics Logic Mathematical logic
39	Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Formal languages Model theory Philosophical logic Modal logic Interpretation Epistemic modal logic Kripke semantics Function Action selection Logic Mathematical logic Mathematics
40	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic

UPDATE